On Computable Numbers, with an Application to the Entscheidungsproblem
https://ci.nii.ac.jp/naid/30025795823
アラン・チューリング
は、重要な論文 "
On Computable Numbers, with an Application to the Entscheidungsproblem
"
（「計算可能数、ならびにそのヒルベルトの決定問題への応用」、1936年5月28日提出、11月12日配布）で、
この問題の解決に重要な役割を果たした。
日本語訳
http://kitchom.ed.oita-u.ac.jp/jyo/proh09/mkiribu/ronbun.html